منابع مشابه
Algol-Genius
Algol-Genius, an Algol 60 implementation with features from COBOL, was the brainchild of Börje Langefors. In 1964, assembler was the dominant programming language, but Algol-Genius broke that trend among Datasaab D21 customers. Algol-Genius programs were still in production in the late nineties.
متن کاملAn Automata-Theoretic Model of Idealized Algol
In this paper, we present a new model of class-based Algollike programming languages inspired by automata-theoretic concepts. The model may be seen as a variant of the ”object-based” model previously proposed by Reddy, where objects are described by their observable behaviour in terms of events. At the same time, it also reflects the intuitions behind state-based models studied by Reynolds, Ole...
متن کاملAn Abstract Proof Checker
Mathematicians rarely present proofs in all their detail; usually they give just an outline or abstraction of the proof. This paper describes our attempt to reproduce such activity within a computer proof system.
متن کاملLinear Algebra ALGOL
Theoret ica l B a c k g r o u n d The procedure bisect is designed to replace the procedures tridibi I and 2 given in ES]. All three procedures are based essentially on the following theorem. Given a symmetric tridiagonal matrix with diagonal elements q to cn and off-diagonal elements b, to b, (with b 1 set equal to zero for completeness) and b i 4=0, then for any number 2 let the sequence Po (...
متن کاملMerit: An Interpolating Model-Checker
We present the tool MERIT, a CEGAR model-checker for safety properties of counter-systems, which sits in the Lazy Abstraction with Interpolants (LAWI) framework. LAWI is parametric with respect to the interpolation technique and so is MERIT. Thanks to its open architecture, MERIT makes it possible to experiment new refinement techniques without having to re-implement the generic, technical part...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Computer Journal
سال: 1971
ISSN: 0010-4620,1460-2067
DOI: 10.1093/comjnl/14.2.128